Arend Heyting
オランダの直観主義者
ハイティング算術
ハイティング代数